| Name | Version | Summary | date |
|---|---|---|---|
| repraxis | 1.3.1 | An in-memory logic database solution for games, based on Versu's Praxis language. | 2024-03-25 17:56:09 |
| aspmc | 1.1.1 | An efficient algebraic model counter. | 2024-03-22 17:41:53 |
| hour | day | week | total |
|---|---|---|---|
| 33 | 1100 | 9535 | 274549 |